-
1 simple completeness
простая полнота
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > simple completeness
-
2 simple completeness
-
3 simple completeness
Большой англо-русский и русско-английский словарь > simple completeness
-
4 simple completeness
Вычислительная техника: простая полнота -
5 simple completeness
English-Russian dictionary of computer science and programming > simple completeness
-
6 simple completeness
мат. -
7 simple completeness
English-Russian information technology > simple completeness
-
8 completeness
-
9 completeness
English-Russian dictionary of computer science and programming > completeness
-
10 completeness
1. полната; завершенность2. полнота; завершенность3. полнота; законченность; завершенностьСинонимический ряд:entirety (noun) allness; entire; entireness; entireties'; entirety; intactness; integrity; oneness; perfection; totalities'; totality; universality; wholeness -
11 functional completeness
-
12 absolute completeness
-
13 простая полнота
Большой англо-русский и русско-английский словарь > простая полнота
-
14 простая полнота
Русско-английский словарь по вычислительной технике и программированию > простая полнота
-
15 простая полнота
-
16 простая полнота
-
17 аксиома полноты
-
18 полнота
-
19 полнота
-
20 простая полнота
См. также в других словарях:
Completeness (order theory) — In the mathematical area of order theory, completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset). A special use of the term refers to complete partial orders or complete lattices.… … Wikipedia
Turing completeness — For the usage of this term in the theory of relative computability by oracle machines, see Turing reduction. In computability theory, a system of data manipulation rules (such as an instruction set, a programming language, or a cellular… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Functional completeness — In logic, a functionally complete set of logical connectives or Boolean operators is one which can be used to express all possible truth tables by combining members of the set into a Boolean expression.[1][2] A well known complete set of… … Wikipedia
простая полнота — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN simple completeness … Справочник технического переводчика
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Hilbert space — For the Hilbert space filling curve, see Hilbert curve. Hilbert spaces can be used to study the harmonics of vibrating strings. The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium